(4-pi)/4 - (x (x+1) (sqrt(x^2+1)-x)^2)/(2 (x^2+1)) where x=1